Merge pull request #2811 from dbnicholson/cli-polish
authorColin Walters <walters@verbum.org>
Thu, 9 Feb 2023 13:10:36 +0000 (08:10 -0500)
committerGitHub <noreply@github.com>
Thu, 9 Feb 2023 13:10:36 +0000 (08:10 -0500)
commitcff0a1730aa753afc9fbcf323c10f7369ee925c6
tree2abba5883d339396c6a54938c1e41cc0fac6fcdb
parent51f3d03d9bc1e39b5e47c629ae5eb9f483da56b8
parent70ec92e1cdc3ad882ac569a3655857fb1241a449
Merge pull request #2811 from dbnicholson/cli-polish

Various CLI improvements